Safe parallel programming in ada with language extensions
نویسندگان
چکیده
منابع مشابه
Safe Parallel Programming in an Interpreted Language
Parallel programming is increasingly important with the advent of multicore processors. However, modern software is difficult to parallelize because of the high degree of modularization. It is unclear whether a piece of code is parallel if it calls other functions. Dynamic languages such as Ruby, Python, and Matlab represent modularization to the extreme. A program, also known as a script, requ...
متن کاملSemantic Language Extensions for Implicit Parallel Programming
Several emerging fields of science and engineering are increasingly characterized by computationally intensive programs. Without parallelization, such programs do not benefit from the increasing core counts available in todays chip multiprocessors. However, writing correct and well-performing parallel programs is widely perceived to be an extremely hard problem. In order to understand the chall...
متن کاملParallel Logic Programming with Extensions
A programming language is a tool and a vehicle for applications. The need to promote the evolution of Prolog towards a more expressive new logic programming language. A large medium-term national research project. Extensions to Logic Programming: new forms of computational reasoning, with explicit negation, constraint programming, parallelism and distribution support. The resulting language: PR...
متن کاملLanguage Constructs for Safe Parallel Programming on Multi-Cores
eects and checking are implemented in the compiler. emore speculative gradual eect checking remains to be implemented. We have also not yet completely formalized or proven the soundness of the gradual eect system. 5.5 Unlocking Eects Using eects for data race-free parallelism is conceptually very similar to using locks. Annotating a method with an eect clause eectively locks the data des...
متن کاملADA: A Language for Robot Programming?
Robot programming languages are emerging from their experimental stage and entering an assessment phase. Their main features are illustrated and a parallel with ADA is proposed. The comparison is positive for ADA, in the sense that ADA provides most of the required capabilities. The ability of reasoning on object models and taking decisions will play an increasing role in the future. In this ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGAda Ada Letters
سال: 2014
ISSN: 1094-3641
DOI: 10.1145/2692956.2663181